Vector logic - PDFSEARCH.IO - Document Search Engine

Vector logic
Results: 92

#	Item
31	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
32	BOOLEAN METHODS IN THE THEORY OF VECTOR LATTICES A. G. KUSRAEV AND S. S. KUTATELADZE Abstract. This is an overview of the recent results of interaction of Boolean valued analysis and vector lattice theory. Add to Reading List Source URL: www.math.nsc.ru Language: English - Date: 2015-01-30 06:09:18 Model theory Forcing Boolean algebra Algebraic structures Algebraic logic Boolean-valued model Symbol Interpretation First-order logic Mathematical logic Mathematics Logic
33	Improving Performance of On Demand Multicast Routing Protocol by Fuzzy Logic Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-05-08 04:25:16 Internet Wireless networking Packet forwarding IP multicast Optimized Link State Routing Protocol Ad hoc On-Demand Distance Vector Routing Packet switching Multicast Flooding Network architecture Routing Computing
34	The Role of Syntax in Vector Space Models of Compositional Semantics Karl Moritz Hermann and Phil Blunsom Department of Computer Science University of Oxford Oxford, OX1 3QD, UK {karl.moritz.hermann,phil.blunsom}@cs.ox.a Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-07-25 09:24:47 Semantics Information retrieval Logic in computer science Combinatory categorial grammar Combinatory logic Semantic similarity Categorial grammar Vector space model Word-sense disambiguation Linguistics Computational linguistics Science
35	doi:[removed]j.artint[removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-07-07 02:40:42 Mathematics Local consistency Constraint satisfaction Vector space Constructible universe Mathematical optimization Constraint logic programming Decomposition method Constraint programming Algebra Software engineering
36	Coreference Based Event-Argument Relation Extraction on Biomedical Text Katsumasa Yoshikawa Sebastian Riedel Tsutomu Hirao NAIST, Japan Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-04-17 16:11:22 Semantics Artificial intelligence Natural language processing Computational linguistics Coreference Predicate logic Information extraction Antecedent Support vector machine Linguistics Syntax Science
37	Large Margin Learning of Upstream Scene Understanding Models † Jun Zhu† Add to Reading List Source URL: vision.stanford.edu Language: English - Date: 2013-09-22 18:29:34 Mathematical logic Statistical theory M-estimators Econometrics Statistical classification Maximum likelihood Loss function Entailment Support vector machine Statistics Estimation theory Logic
38	A Formal Approach to Linking Logical Form and Vector-Space Lexical Semantics Dan Garrette, Katrin Erk, and Raymond Mooney Abstract First-order logic provides a powerful and flexible mechanism for representing natural lan Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2015-01-12 20:53:04 Propositional calculus Logical consequence Model theory Inference First-order logic Predicate Function Entailment Vector space model Logic Philosophical logic Semantics
39	Hierarchical Exploration for Accelerating Contextual Bandits Yisong Yue [removed] iLab, H. John Heinz III College, Carnegie Mellon University, Pittsburgh, PA 15213, USA Sue Ann Hong Add to Reading List Source URL: www.select.cs.cmu.edu Language: English - Date: 2012-05-21 17:52:03 Functional analysis Projection Vector space Forcing Combinatory logic Algebra Mathematics Linear algebra
40	Cognition[removed][removed]Unity of perception* BRUCE M. BENNETT Add to Reading List Source URL: www.cogsci.uci.edu Language: English - Date: 2006-02-17 17:14:56 Reasoning Philosophical logic Inference Time Vector field Entailment Orthogonality Moving frame Logic Algebra Logical consequence